Formal comprehensiveness and uniformity and semantic intra and intermodel consistency in the representation of Discrete Event Dynamic System models

A remarkable characteristic in the research on Discrete Event Dynamic Systems, such as productive systems, manufacturing systems, and information systems, is the heterogeneity of models. Due to the specific nature of these models, there are cases where multiple and heterogeneous models are necessary so that an adequate coverage of system aspects and of analytic results can be provided. This work discusses issues on the computational representation of these models, more specifically, that an adequate treatment of the formal heterogeneity of models and of their integration, mainly the semantic aspects of it, can enhance the workflow of computationally supported modeling and analysis experiments.